Recurrence Relations, Succession Rules, and the Positivity Problem
نویسندگان
چکیده
In this paper we present a method to pass from a given recurrence relation with constant coefficients (in short, a C-finite recurrence) to a finite succession rule defining the same number sequence. Our method consists in two steps: first, we transform the given recurrence relation into an extended succession rule, then we provide a series of operations to reduce such an extended succession rule into an ordinary succession rule, equivalent to the previous one. As a byproduct, our method can be used to investigate the positivity of a C-finite recurrence.
منابع مشابه
Recurrence relations versus succession rules
In this paper we present a method to pass from a recurrence relation having constant coefficients (in short, a C-recurrence) to a finite succession rule defining the same number sequence. We recall that succession rules are a recently studied tool for the enumeration of combinatorial objects related to the ECO method. We also discuss the applicability of our method as a test for the positivity ...
متن کاملDecision problems on unary probabilistic and quantum automata
It is well known that the emptiness problem for binary probabilistic automata and so for quantum automata is undecidable. We present the current status of the emptiness problems for unary probabilistic and quantum automata with connections with Skolem’s and positivity problems. We also introduce the concept of linear recurrence automata in order to show the connection naturally. Then, we also g...
متن کاملAutomatic rule discovery for field work in anthropology
This note deals with the problem of discovering rules that govern social interactions and relations in pre-literal societies. Two older computer programs are first described which can receive data, possibly incomplete and redundant, representing kinship relations among named individuals. The programs then establish a knowledge base in the form of a directed graph, which the user can query in a ...
متن کاملHigher Order Moments and Recurrence Relations of Order Statistics from the Exponentiated Gamma Distribution
Order statistics arising from exponentiated gamma (EG) distribution are considered. Closed from expressions for the single and double moments of order statistics are derived. Measures of skewness and kurtosis of the probability density function of the rth order statistic for different choices of r, n and /theta are presented. Recurrence relations between single and double moments of r...
متن کاملA DECREASE IN THE INCIDENCE OF SYPHILIS IN IRAN AND THE EFFECT OF ISLAMIC RULES IN CONTROLLING SEXUALLY TRANSMITTED DISEASES
Venereal diseases are still a common problem in today's world. Even though tremendous advances are being made in medicine and large budgets are being spent to control sexually transmitted diseases (STD), especially in western countries, these diseases are still yet very common, and today AIDS has been added to the threats posed by STD to human life. The status of syphilis was evaluated in ...
متن کامل